Free Monoids over Semigroups in a Monoidal Category Construction and Applications
نویسندگان
چکیده
The adjunction of a unit to an algebraic structure with a given binary associative operation is discussed by interpreting such structures as semigroups and monoids respectively in a monoidal category. This approach then allows for results on the adjunction of counits to coalgebraic structures with a binary co-associative co-operation as well. Special attention is paid to situations where a given coalgebraic structure induces a “dual” algebraic one; here the compatibility of adjoining (co)units and dualization is examined. The extension of this process to starred algebraic structures and to monoid actions is discussed as well. Particular emphasis is given to examples from many areas of mathematics. MSC 2010: Primary 16T15, Secondary 18D10
منابع مشابه
Weighted Tensor Products of Joyal Species, Graphs, and Charades
Motivated by the weighted Hurwitz product on sequences in an algebra, we produce a family of monoidal structures on the category of Joyal species. We suggest a family of tensor products for charades. We begin by seeing weighted derivational algebras and weighted Rota–Baxter algebras as special monoids and special semigroups, respectively, for the same monoidal structure on the category of graph...
متن کاملA Note on the Composition Product of Symmetric Sequences
We consider the composition product of symmetric sequences in the case where the underlying symmetric monoidal structure does not commute with coproducts. Even though this composition product is not a monoidal structure on symmetric sequences, it has enough properties to be able to define monoids (which are then operads on the underlying category) and make a bar construction. The main benefit o...
متن کاملTowards a Complex Variable Interpretation of Peirce’s Existential Graphs
monoid can be defined. Monoidal categories are ubiquitous: cartesian categories (in particular, the category of sets), free word-category over any category, endofunctors category over any category, category of R-modules over a commutative ring R, etc. The abstract monoids definable in the monoidal category incarnate in the usual monoids, triples (or monads), R-algebras, etc. 2 Given a monoidal ...
متن کاملUniversal Constructions for Hopf Algebras
The category of Hopf monoids over an arbitrary symmetric monoidal category as well as its subcategories of commutative and cocommutative objects respectively are studied, where attention is paid in particular to the following questions: (a) When are the canonical forgetful functors of these categories into the categories of monoids and comonoids respectively part of an adjunction? (b) When are ...
متن کاملMonoidal Model Categories
A monoidal model category is a model category with a closed monoidal structure which is compatible with the model structure. Given a monoidal model category, we consider the homotopy theory of modules over a given monoid and the homotopy theory of monoids. We make minimal assumptions on our model categories; our results therefore are more general, yet weaker, than the results of [SS97]. In part...
متن کامل